/*  All in leave.h/.c  */

/*  To execute instruction "leave", we use

    cpu.esp = cpu.ebp;
	cpu.ebp = swaddr_read(cpu.esp, 4);
	cpu.esp += 4;

    in leave.c as core instructions.
*/